Amalgamation and Interpolation in Ordered Algebras
نویسندگان
چکیده
The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension property, and the flat amalgamation property and the deductive interpolation property, as well as various dependencies between these properties. These relationships are then exploited in the second part of the paper in order to provide new proofs of amalgamation and deductive interpolation for the varieties of lattice-ordered abelian groups and MV-algebras, and to determine important subvarieties of residuated lattices where these properties hold or fail. In particular, a full description is given of all subvarieties of commutative GMV-algebras possessing the amalgamation property.
منابع مشابه
Ordered Algebras and Logic
Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a decisive role in logic, although perhaps only in recent years has the significance of the relationship between the two fields begun to be fully recognized and exploited. The first aim of this survey article is to briefly trace the distinct historical roots of ordered algebras ...
متن کاملStrong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
We extend Makkai’s proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-albegras, and Lukasiewicz n-valued algebras. We also extend and improve Pitt’s proof that strong am...
متن کاملMaksimova ON VARIABLE SEPARATION IN MODAL LOGICS
It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...
متن کاملNeat Embeddings and Amalgamation
We present a property of neat reducts commuting with forming subalgebras as a definability condition. The purpose of this paper is to relate results on neat reducts, a notion particular to cylindric algebras to results on the “more universal” strong amalgamation property in a very general setting. It is known [7], [8] and [6] that amalgamation properties in a class of algebras correspond to int...
متن کاملSemisimplicity, Amalgamation Property and Finite Embeddability Property of Residuated Lattices
In this thesis, we study semisimplicity, amalgamation property and finite embeddability property of residuated lattices. We prove semisimplicity and amalgamation property of residuated lattices which are of purely algebraic character, by using proof-theoretic methods and results of substructural logics. On the other hand, we show the finite model property (FMP) for various substructural logics,...
متن کامل